#include "compsoc.h" //CompSoC API must be included
#include "memmap.h"  //Memory map of the platform

int main(){

	// Ensure platform initialisation has completed
	mon_sync(0);

	return 0;
}
